Branching with Uncertain Semantics

نویسنده

  • Thomas Müller
چکیده

In their paper ‘Branching and Uncertainty’, (Saunders and Wallace [2008]) aim to solve the so-called ‘incoherence problem’ commonly attributed to the Everett interpretation of quantum mechanics (EQM). The Everett interpretation posits a multiplicity of branching universes as a realistic reading of the evolution of the quantum state function. The ‘incoherence problem’ is, roughly, that our common talk of uncertainty of outcomes of quantum-mechanical experiments seems to have no foothold in EQM: Since all the facts about the branching are fully acknowledged, there seems to be nothing, on that interpretation, to be uncertain about. Saunders and Wallace point to non-epistemic approaches to the mentioned problem (e.g., Greaves [2004]; Greaves and Myrvold [2008]), but their own solution is instead to provide ‘a ready set of semantic rules according to which our actual extant, ordinary talk of ignorance and uncertainty comes out as true’ (pp. 293-4). Thus, there is no incoherence problem to begin with, just a question of getting the semantics right. This project, according to Saunders and Wallace, is not motivated by metaphysical considerations but by the hope of making sense of our ‘best physical theory’ along the lines of a naturalized metaphysics. Brit. J. Phil. Sci. (2010), 1–16

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Branching and Uncertainty

Following Lewis, it is widely held that branching worlds di¤er in important ways from diverging worlds. There is, however, a simple and natural semantics under which sentences uttered in branching worlds have much the same truth conditions as they do in diverging worlds. Under this semantics, whether branching or diverging, speakers cannot say in advance which branch or world is theirs. They ar...

متن کامل

What is Branching Time Semantics and Why to Use it?

The concept of branching time in the semantics of concurrent systems is well known and well understood. Still a formal deenition of what it means for a model or equivalence to respect branching time has never explicitly be given. This note proposes such a deenition. Additionally the opportunity is taken to voice an old but poorly understood argument for using branching time semantics instead of...

متن کامل

Canonical Coalgebraic Linear Time Logics

We extend earlier work on linear time fixpoint logics for coalgebras with branching, by showing how propositional operators arising from the choice of branching monad can be canonically added to these logics. We then consider two semantics for the uniform modal fragments of such logics: the previously-proposed, step-wise semantics and a new semantics akin to those of path-based logics. We prove...

متن کامل

A Symbolic Semantics and Bisimulation for Full LOTOS

A symbolic semantics for Full LOTOS in terms of symbolic transition systems is defined; the semantics extends the (infinitely branching) standard semantics by giving meaning to data parameterised behaviours, and provides a finitely branching representation for behaviours. Symbolic bisimulation is defined. This extends our previous work [14], making the definitions more amenable to automated rea...

متن کامل

A Sound Observational Semantics for Modal Transition Systems

Modal Transition Systems (MTS) are an extension of Labelled Transition Systems (LTS) that distinguish between required, proscribed and unknown behaviour and come equipped with a notion of refinement that supports incremental modelling where unknown behaviour is iteratively elaborated into required or proscribed behaviour. The original formulation of MTS introduces two alternative semantics for ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010